Interface-driven Model-based Test Generation of Java Test Drivers

نویسندگان

  • Mark Blackburn
  • Robert Busser
  • Aaron Nauman
  • Ramaswamy Chandramouli
چکیده

This paper extends prior work in model-based verification and describes interface-driven analysis that combines textual requirement modeling to support automated test generation of Java test scripts for executing against a database. It describes concepts of models and test driver mappings using examples for testing security functionality of an Oracle database using Java and standard Structured Query Language test drivers. Although the modeling and testing is focused on database security capabilities, the described concepts are general for testing most applications.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Interface-driven Model-based Generation of Java Test Drivers

This paper extends prior work in model-based verification and describes interface-driven analysis that combines with a requirement model to support automated generation of Java test scripts. It describes concepts of models and test driver mappings using examples for testing security functionality of an Oracle database using Java and Structured Query Language(SQL) test drivers. Although the mode...

متن کامل

Interface-driven Model-based Test Automation

M odel-based test automation has helped reduce cost, provide early identification of requirements defects, and improve test coverage [1, 2, 3, 4, 5, 6]. Industry use of model-based test automation has provided insight into practical methods that use interface driven analysis with requirements mod-eling to support automated test generation. However, the term interface is used loosely in this art...

متن کامل

An Agent Based Measurement Laboratory over Internet

This paper introduces AgentLab, a distributed laboratory over Internet based on Java and mobile agents. Java ensures portability of measurement software, facilitates interoperability with existing I/O drivers and makes it possible to use mobile agents as the building blocks in-the-large. A measurement test is assembled as a collection of actors plus a runtime support, and is mapped onto a mobil...

متن کامل

Automating the Testing of Object Behaviour: A Statechart-Driven Approach

The evolution of current modeling specifications gives rise to the problem of generating automated test cases from a variety of application tools. Past endeavours on behavioural testing of UML statecharts have not systematically leveraged the potential of existing graph theory for testing of objects. Therefore there exists a need for a simple, tool-independent, and effective method for automati...

متن کامل

Security Functional Testing Using An Interface-Driven Model-Based Test Automation Approach

Independent security functional testing on a product occupies a backseat in traditional security evaluation because of the cost and stringent coverage requirements. In this paper we present the details of an approach we have developed to automate security functional testing. The underlying framework is called TAF (Test Automation Framework) and the toolkit we have developed based on TAF is the ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2002